Object theory

Results: 981



#Item
201Sensors / Computer networking / Sensor node / Wireless sensor network / Kalman filter / Sensor / Dynamic programming / Technology / Systems theory / Control theory

OPTIMIZATION APPROACHES TO DYNAMIC ROUTING OF MEASUREMENTS AND MODELS IN A SENSOR NETWORK OBJECT TRACKING PROBLEM Jason L. Williams,1 John W. Fisher III,2 Alan S. Willsky3 1,3 2 MIT/LIDS

Add to Reading List

Source URL: ssg.mit.edu

Language: English - Date: 2012-02-01 13:45:48
202Object-oriented programming / Computer programming / Data types / Polymorphism / Subtype polymorphism / Models of computation / Type system / Inheritance / Objective-C / Software engineering / Type theory / Computing

Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:34:34
203Search algorithms / Artificial intelligence / Abstract strategy games / Detection theory / Game theory / Minimax / Alpha-beta pruning / Computer chess / Game tree / Game artificial intelligence / Games / Mathematics

CS 61B: Lecture 17 Monday, March 3, 2014 The following pseudocode computes a grid’s score and the best move from that grid (which determines the grid’s score). A Best object holds a record of the best move and its sc

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2014-03-22 23:58:44
204Computer vision / Data mining / Detection theory / Receiver operating characteristic / Socioeconomics / Statistical classification / Optical flow / Robotics / Robot / Statistics / Vision / Imaging

1 Low Cost Automatic Object Segmentation by Detecting a Signature Motion Within an Optical Flow Signal Alan Broun, Matthew Studley

Add to Reading List

Source URL: www.alanbroun.net

Language: English
205Object-oriented programming / Method / Type theory / Mixin / Trait / Constructor / Property / Mutator method / Class / Software engineering / Computing / Computer programming

Splitting traits into implementation and interface facets (aka AddInterfaces) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 30th , 2011

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2011-10-03 06:26:28
206Type theory / Smalltalk / Duck typing / Type system / Ad-hoc polymorphism / Variable / Polymorphism in object-oriented programming / Ruby / Eval / Software engineering / Computing / Computer programming

Evaluating the dynamic behavior of Smalltalk applications Bachelor Thesis Roger Stebler from Balsthal, Switzerland

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2015-04-21 06:14:19
207Data types / Computer programming / Object-oriented programming / Primitive types / Programming paradigms / Type system / Subtype polymorphism / Soundness / Reference / Software engineering / Type theory / Computing

1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2012-09-21 10:50:57
208Object-oriented programming / Interfaces / Type theory / Mixin / Java programming language / Mutator method / Trait / Method / Class / Software engineering / Computing / Computer programming

The mixin phase c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia October 10th , 2011 Abstract

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2011-11-09 04:22:14
209Business / Reliability engineering / Supply chain / Ch / Systems engineering process / Control theory / Function model / Object-oriented design / OpenGL / Software / Systems engineering / Technology

Journal of Computing and Information Science in Engineering

Add to Reading List

Source URL: iel.ucdavis.edu

Language: English - Date: 2005-10-30 01:51:50
210Computer programming / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / System F / Foreach loop / Software engineering / Computing / Type theory

Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 07:06:13
UPDATE